And Elementary End Extensions of V Κ
نویسنده
چکیده
In this paper we prove that if κ is a cardinal in L[0]], then there is an inner model M such that M |= (Vκ,∈) has no elementary end extension. In particular if 0] exists, then weak compactness is never downwards absolute. We complement the result with a lemma stating that any cardinal greater than א1 of uncountable cofinality in L[0]] is Mahlo in every strict inner model of L[0]].
منابع مشابه
0 ♯ and Elementary End Extensions Of
In this paper we prove that if κ is a cardinal in L[0], then there is an inner model M such that M |= (Vκ,∈) has no elementary end extension. In particular if 0♯ exists then weak compactness is never downwards absolute. We complement the result with a lemma stating that any cardinal greater than א1 of uncountable cofinality in L[0♯] is Mahlo in every strict inner model of L[0♯].
متن کاملCertain very large cardinals are not created in small forcing extensions
The large cardinal axioms of the title assert, respectively, the existence of a nontrivial elementary embedding j : Vλ → Vλ, the existence of such a j which is moreover Σn, and the existence of such a j which extends to an elementary j : Vλ+1 → Vλ+1. It is known that these axioms are preserved in passing from a ground model to a small forcing extension. In this paper the reverse directions of t...
متن کاملThe Spectrum of Elementary
In 1970, K. Kunen, working in the context of Kelley-Morse set theory, showed that the existence of a nontrivial elementary embedding j : V → V is inconsistent. In this paper, we give a finer analysis of the implications of his result for embeddings V → V relative to models of ZFC. We do this by working in the extended language {∈, j}, using as axioms all the usual axioms of ZFC (for ∈-formulas)...
متن کاملA cottage industry of lax extensions
In this work, we describe an adjunction between the comma category of Set-based monads under the V -powerset monad and the category of associative lax extensions of Set-based monads to the category of V -relations. In the process, we give a general construction of the Kleisli extension of a monad to the category of V-relations.
متن کاملar X iv : h ep - t h / 04 06 15 5 v 3 8 J un 2 00 5 Two - parameter extensions of the κ - Poincaré quantum deformation
We consider the extensions of classical r-matrix for κ-deformed Poincaré algebra which satisfy modified Yang-Baxter equation. Two examples introducing additional deformation parameter (dimension-full 1 κ or dimensionless ξ) are presented. We describe the corresponding quantization (two-parameter κ-Poincaré quantum Hopf algebras) in explicite form as obtained by twisting of standard κ-deformed f...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 2001